SUBDIRS=lesson_5

include ../../../../../include/kframework/ktest-group.mak
